step(al,is,tm(s,[ctxm(eta_,u,ip,ip_al_2,ip_al_2),ctxm(eta_,idp2,ip,ip_is,ip_is)],pri(lst,[pri(lst,[pri(lst,[ctxm(eta_,dot,id_c,iid_c,iid_c),pri(pk,[ctxm(eta_,dot,kM_c,kM_c,kM_c)]),ctxm(eta_,dot,n_c,in_c,cn_c)]),pri(sig,[pri(lst,[ctxm(eta_,dot,id_c,iid_c,iid_c),pri(pk,[ctxm(eta_,dot,kM_c,kM_c,kM_c)]),ctxm(eta_,dot,n_c,in_c,cn_c)]),ctxm(eta_,ca,kM,kM_ca,kM_ca)])]),ctxm(eta_,dot,n_a,ss(eta_,i_n_a),ss(eta_,c_n_a))]))).
